Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Logic, computer science,  | 
Results: 12 found in 0.007 seconds

1

2

>

>>

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Evolving knowledge bases :
specification and semantics /
ISBN: 158603278X (IOS Press : hd.bd.) 		IOS Press ; c2003. QA76063 L45 2003 NEU Grand Library[General Collection]
Available
0
Essence of logic /
ISBN: 0133963756 		Prentice Hall, 1997. QA76 .K396 1997 NEU Grand Library[General Collection]
Available
0
Essence of logic /
ISBN: 0133963756 		Prentice Hall, 1997. QA76 .K396 1997 NEU Grand Library[General Collection]
Available
6
Discrete structures, logic, and computability /
ISBN: 086720477X 		Jones and Bartlett, c1995. QA76 .H383 1995 NEU Grand Library[General Collection]
Available
0
ACM transactions on computational logic
Association for Computing Machinery, c2000- QA76.9.L63 A3 Online electronic
Not for loan
0
Rigorous software development :
an introduction to program verification /
ISBN: 9780857290175 		Springer, 2011. QA76.758 .A46 2011 NEU Grand Library[General Collection]
Available
0
Verification, Model Checking, and Abstract Interpretation :
10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/
ISBN: 9783540939009 		Springer Berlin Heidelberg, 2009. QA76.5 .V47 2009 Yeniboğaziçi Grand Library[General Collection]
Available
0
Parallelism and implementation of logic and constraint logic programming /
ISBN: 1560726733 		Nova Science Pub., c1999. QA76.58 P37 1999 NEU Grand Library[General Collection]
Available
0
An Undergraduate Fuzzy Logic Control Lab Using a Line Following Robot
Wiley-Blackwell, 2011. QA75.5 .U53 2011 NEU Grand Library[Online electronic]
Available
0
Gödel '96 :
logical foundations of mathematics, computer science, and physics-- Kurt Gödel's Legacy /
ISBN: 1568811535 (pbk. : alk. paper) 		Association for Symbolic Logic, c2001. QA9.A1 G6 1996 NEU Grand Library[General Collection]
Available
Quick search
Term:
Full phrase Any word

1

2

>

>>

Results 1 - 10 of 12 records.
New search | Back to the last search

NEAR EAST UNIVERSITY GRAND LIBRARY +90 (392) 223 64 64 Ext:5536. Near East Boulevard, Nicosia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.